Mathematical proof - PDFSEARCH.IO - Document Search Engine

Mathematical proof
Results: 1839

#	Item
611	Intro AI4FM project Models of “why” Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:44 Mathematical proof Knowledge Rippling Formal methods Logic Automated theorem proving Mathematics Mathematical logic
612	TABLE for 7-7/8” x Add to Reading List Source URL: meredithdirectmedia.com Language: English - Date: 2014-10-22 10:45:14 Graphics file formats ISO standards Vector graphics Knowledge PDF/X Mathematical proof Prepress Bleed Portable Document Format Printing Computing Computer file formats
613	Microsoft Word - Shape_8X10.875_02022015 Add to Reading List Source URL: www.meredithtm.com Language: English - Date: 2015-02-23 14:40:12 Graphics file formats ISO standards Vector graphics Knowledge PDF/X Prepress Mathematical proof Bleed Portable Document Format Printing Computing Computer file formats
614	arXiv:1305.0904v1 [cs.SI] 4 MayWhat does mathoverflow tell us about the production of mathematics? Ursula Martin Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-05-06 20:18:41 Community websites Philosophy of mathematics MathOverflow Areas of mathematics Mathematical proof Stack Exchange Network Computational mathematics Computer science Mathematical practice Mathematics Logic Science
615	Microsoft Word - IBSAI NNets, Gene, NLP.doc Add to Reading List Source URL: www.foibg.com Language: English - Date: 2015-02-02 08:45:45 Set theory Ordinal numbers Proof theory Mathematical logic Gyroscope Constructible universe
616	The Peirce Translation Mart´ın Escard´o University of Birmingham, UK Paulo Oliva Queen Mary University of London, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-06-09 07:02:59 Logic in computer science Proof theory Adjoint functors Gödel–Gentzen negative translation Monad Intuitionistic logic Quantification Peano axioms Witness Logic Mathematical logic Mathematics
617	x°×x°×x°×x°×x°×x°×x°×x°×x°×x°×x°×x°×x°×x°×x°×x°×x°=x° THE INDEX FORM Add to Reading List Source URL: www.pilearn.com Language: English - Date: 2014-09-26 03:15:35 Proof theory Exponentiation Mathematical analysis Taylor series Mathematics Abstract algebra Mathematical fallacy
618	J. Autom. Reasoning manuscript No. (will be inserted by the editor) Semi-intelligible Isar Proofs from Machine-Generated Proofs Jasmin Christian Blanchette · Sascha Böhme · Mathias Fleury · Steffen Juilf Smolka · Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Automated theorem proving Proof theory Mathematical proofs Logical syntax First-order logic Proof assistant Theorem Isabelle Natural deduction Logic Mathematics Mathematical logic
619	Unified Classical Logic Completeness A Coinductive Pearl Jasmin Christian Blanchette1 , Andrei Popescu1,2 , and Dmitriy Traytel1 2 1 Fakultät für Informatik, Technische Universität München, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Proof theory Symbol Sequent calculus Model theory First-order logic Mathematical logic Logic Metalogic
620	HOL with Definitions: Semantics, Soundness, and a Verified Implementation Ramana Kumar1 , Rob Arthan2 , Magnus O. Myreen1 , and Scott Owens3 2 1 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-05-14 09:11:24 Model theory Proof theory Logic in computer science Philosophy of language Formal methods HOL Higher-order logic Simply typed lambda calculus Soundness Logic Mathematical logic Mathematics

UPDATE